VDict mobile



Logic Programming Associates not found. Suggestions:

EQLog
Algebraic Logic Functional language
LeFun
LOGIN
FUNLOG
BABEL
Distributed Logic Programming
assertion
SFLV
Prolog++